Fade to Grey: Tuning Static Program Analysis
نویسندگان
چکیده
منابع مشابه
Fade to Grey: Tuning Static Program Analysis
Static program analysis complements traditional dynamic testing by discovering generic patterns and relations in source code, which indicate software deficiencies such as memory corruption, unexpected program behavior and memory leaks. Since static program analysis builds on approximations of a program’s concrete behavior there is often a trade-o↵ between reporting potential bugs that might be ...
متن کاملStatic Program Analysis CS701
This lecture introduces the area of static program analysis. We introduce the topics to be reviewed in this unit, and say a bit about abstract interpretation.
متن کاملModular Static Program Analysis
The purpose of this paper is to present four basic methods for compositional separate modular static analysis of programs by abstract interpretation: – simplification-based separate analysis; – worst-case separate analysis; – separate analysis with (user-provided) interfaces; – symbolic relational separate analysis; as well as a fifth category which is essentially obtained by composition of the...
متن کاملStatic Program Analysis for Security
In this chapter, we discuss static analysis of the security of a system. First, we discuss the background on what types of static analysis is feasible in principle and then move on to what is practical. We next discuss static analysis of buffer overflow and mobile code followed by access control. Finally, we discuss static analysis of information flow expressed in a language that has been annot...
متن کاملExperiences with Program Static Analysis
Conventionally, software quality has been measured mainly by the number of test items, the test coverage, and the number of faults in the test phase. This approach of relying heavily on testing is not satisfactory from a quality assurance viewpoint. Since software is becoming larger and more complex, quality must be assured from the early phases, such as requirements analysis, design and coding...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2010
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2010.08.046